Instance,nrRules,success,nrStates,n,runtime_ms
1,17,1,5,1,25
2,17,1,5,1,7
3,17,1,5,1,4
4,17,1,5,1,3
5,17,1,5,1,3
6,17,1,5,1,3
7,17,1,5,1,3
8,17,1,5,1,3
9,17,1,5,1,2
10,17,1,5,1,3
11,17,1,5,1,2
12,17,1,5,1,2
13,17,1,5,1,2
14,17,1,5,1,2
15,17,1,5,1,3
16,17,1,5,1,3
17,17,1,5,1,2
18,17,1,5,1,2
19,17,1,5,1,2
20,17,1,5,1,2
21,17,1,5,1,2
22,532,1,73,2,26
23,532,1,73,2,19
24,532,1,73,2,16
25,532,1,73,2,17
26,532,1,73,2,13
27,532,1,73,2,14
28,532,1,73,2,11
29,532,1,73,2,12
30,532,1,73,2,15
31,532,1,73,2,13
32,532,1,73,2,14
33,532,1,73,2,13
34,532,1,73,2,12
35,532,1,73,2,12
36,532,1,73,2,11
37,532,1,73,2,11
38,532,1,73,2,10
39,532,1,73,2,9
40,532,1,73,2,9
41,532,1,73,2,7
42,532,1,73,2,7
43,532,1,73,2,7
44,532,1,73,2,7
45,532,1,73,2,8
46,532,1,73,2,8
47,532,1,73,2,7
48,532,1,73,2,7
49,532,1,73,2,7
50,532,1,73,2,8
51,532,1,73,2,8
52,532,1,73,2,8
53,532,1,73,2,6
54,532,1,73,2,4
55,532,1,73,2,5
56,532,1,73,2,5
57,532,1,73,2,6
58,532,1,73,2,5
59,532,1,73,2,4
60,532,1,73,2,4
61,532,1,73,2,4
62,532,1,73,2,4
63,532,1,73,2,4
64,532,1,73,2,4
65,532,1,73,2,4
66,532,1,73,2,5
67,532,1,73,2,3
68,532,1,73,2,3
69,532,1,73,2,3
70,532,1,73,2,3
71,532,1,73,2,3
72,532,1,73,2,3
73,532,1,73,2,3
74,532,1,73,2,4
75,532,1,73,2,3
76,532,1,73,2,3
77,532,1,73,2,3
78,532,1,73,2,3
79,532,1,73,2,3
80,532,1,73,2,3
81,532,1,73,2,4
82,532,1,73,2,4
83,532,1,73,2,3
84,532,1,73,2,3
85,532,1,73,2,3
86,532,1,73,2,3
87,532,1,73,2,3
88,532,1,73,2,3
89,532,1,73,2,3
90,532,1,73,2,3
91,532,1,73,2,3
92,532,1,73,2,3
93,532,1,73,2,3
94,532,1,73,2,3
95,532,1,73,2,3
96,532,1,73,2,3
97,532,1,73,2,3
98,532,1,73,2,3
99,532,1,73,2,3
100,532,1,73,2,3
101,532,1,73,2,3
102,532,1,73,2,3
103,532,1,73,2,3
104,532,1,73,2,4
105,532,1,73,2,3
106,532,1,73,2,3
107,532,1,73,2,3
108,532,1,73,2,3
109,532,1,73,2,3
110,532,1,73,2,3
111,532,1,73,2,3
112,532,1,73,2,3
113,532,1,73,2,3
114,532,1,73,2,3
115,532,1,73,2,3
116,532,1,73,2,3
117,532,1,73,2,3
118,532,1,73,2,3
119,532,1,73,2,3
120,532,1,73,2,3
121,1518,1,169,2,8
122,532,1,73,2,3
123,532,1,73,2,3
124,532,1,73,2,3
125,532,1,73,2,3
126,532,1,73,2,3
127,532,1,73,2,3
128,532,1,73,2,3
129,532,1,73,2,3
130,532,1,73,2,3
131,532,1,73,2,3
132,532,1,73,2,3
133,532,1,73,2,3
134,532,1,73,2,3
135,532,1,73,2,3
136,532,1,73,2,3
137,532,1,73,2,3
138,532,1,73,2,3
139,532,1,73,2,3
140,532,1,73,2,3
141,532,1,73,2,3
142,532,1,73,2,3
143,532,1,73,2,3
144,532,1,73,2,3
145,532,1,73,2,3
146,532,1,73,2,3
147,532,1,73,2,3
148,532,1,73,2,3
149,532,1,73,2,3
150,5807,1,485,3,35
151,5807,1,485,3,31
152,5807,1,485,3,24
153,5807,1,485,3,24
154,5807,1,485,3,24
155,5807,1,485,3,24
156,5807,1,485,3,26
157,5807,1,485,3,35
158,5807,1,485,3,38
159,5807,1,485,3,37
160,5807,1,485,3,39
161,5807,1,485,3,38
162,5807,1,485,3,37
163,5807,1,485,3,27
164,5807,1,485,3,24
165,5807,1,485,3,24
166,5807,1,485,3,24
167,5807,1,485,3,25
168,5807,1,485,3,24
169,5807,1,485,3,24
170,5807,1,485,3,25
171,5807,1,485,3,25
172,18513,1,1237,3,75
173,5807,1,485,3,24
174,18513,1,1237,3,72
175,5807,1,485,3,24
176,5807,1,485,3,23
177,5807,1,485,3,24
178,5807,1,485,3,24
179,5807,1,485,3,25
180,5807,1,485,3,23
181,18513,1,1237,3,72
182,5807,1,485,3,23
183,5807,1,485,3,21
184,5807,1,485,3,34
185,5807,1,485,3,40
186,18513,1,1237,3,98
187,5807,1,485,3,34
188,5807,1,485,3,34
189,5807,1,485,3,34
190,5807,1,485,3,34
191,5807,1,485,3,50
192,18513,1,1237,3,84
193,5807,1,485,3,47
194,5807,1,485,3,33
195,5807,1,485,3,28
196,5807,1,485,3,28
197,5807,1,485,3,28
198,5807,1,485,3,61
199,5807,1,485,3,38
200,5807,1,485,3,51
201,5807,1,485,3,28
202,5807,1,485,3,28
203,5807,1,485,3,29
204,5807,1,485,3,30
205,5807,1,485,3,33
206,5807,1,485,3,33
207,5807,1,485,3,30
208,5807,1,485,3,30
209,5807,1,485,3,35
210,5807,1,485,3,54
211,5807,1,485,3,28
212,5807,1,485,3,35
213,5807,1,485,3,29
214,5807,1,485,3,28
215,5807,1,485,3,28
216,5807,1,485,3,28
217,5807,1,485,3,28
218,5807,1,485,3,28
219,5807,1,485,3,29
220,5807,1,485,3,28
221,5807,1,485,3,28
222,5807,1,485,3,28
223,18513,1,1237,3,84
224,5807,1,485,3,29
225,18513,1,1237,3,81
226,5807,1,485,3,20
227,5807,1,485,3,20
228,5807,1,485,3,20
229,5807,1,485,3,20
230,5807,1,485,3,20
231,5807,1,485,3,20
232,5807,1,485,3,20
233,5807,1,485,3,20
234,5807,1,485,3,20
235,5807,1,485,3,20
236,5807,1,485,3,20
237,5807,1,485,3,23
238,5807,1,485,3,20
239,18513,1,1237,3,63
240,5807,1,485,3,20
241,18513,1,1237,3,63
242,5807,1,485,3,20
243,5807,1,485,3,21
244,5807,1,485,3,20
245,5807,1,485,3,20
246,5807,1,485,3,20
247,5807,1,485,3,20
248,5807,1,485,3,20
249,5807,1,485,3,20
250,5807,1,485,3,20
251,5807,1,485,3,22
252,5807,1,485,3,21
253,5807,1,485,3,22
254,5807,1,485,3,21
255,5807,1,485,3,24
256,5807,1,485,3,20
257,5807,1,485,3,20
258,5807,1,485,3,22
259,5807,1,485,3,20
260,5807,1,485,3,20
261,5807,1,485,3,20
262,5807,1,485,3,20
263,5807,1,485,3,20
264,5807,1,485,3,20
265,5807,1,485,3,20
266,5807,1,485,3,20
267,5807,1,485,3,20
268,5807,1,485,3,20
269,5807,1,485,3,20
270,44098,1,2545,4,150
271,36138,1,2241,4,128
272,115012,1,5585,4,380
273,36138,1,2241,4,185
274,44098,1,2545,4,241
275,36138,1,2241,4,162
276,44098,1,2545,4,153
277,44098,1,2545,4,153
278,44098,1,2545,4,152
279,44098,1,2545,4,153
280,115012,1,5585,4,448
281,36138,1,2241,4,129
282,36138,1,2241,4,140
283,116220,1,5233,4,396
284,36138,1,2241,4,132
285,44098,1,2545,4,159
286,36138,1,2241,4,141
287,36138,1,2241,4,132
288,44098,1,2545,4,158
289,36138,1,2241,4,132
290,44098,1,2545,4,201
291,44098,1,2545,4,236
292,36138,1,2241,4,174
293,115012,1,5585,4,384
294,36138,1,2241,4,128
295,319550,1,12145,4,1053
296,44098,1,2545,4,201
297,36138,1,2241,4,175
298,44098,1,2545,4,198
299,44098,1,2545,4,196
300,44098,1,2545,4,201
301,44098,1,2545,4,182
302,319550,1,12145,4,1112
303,115012,1,5585,4,542
304,36138,1,2241,4,190
305,44098,1,2545,4,199
306,115012,1,5585,4,487
307,44098,1,2545,4,192
308,36138,1,2241,4,142
309,115012,1,5585,4,429
310,44098,1,2545,4,194
311,44098,1,2545,4,183
312,36138,1,2241,4,156
313,115012,1,5585,4,504
314,44098,1,2545,4,199
315,44098,1,2545,4,199
316,115012,1,5585,4,494
317,44098,1,2545,4,214
318,44098,1,2545,4,201
319,36138,1,2241,4,171
320,36138,1,2241,4,166
321,44098,1,2545,4,196
322,115012,1,5585,4,479
323,36138,1,2241,4,209
324,116220,1,5233,4,527
325,36138,1,2241,4,170
326,36138,1,2241,4,162
327,36138,1,2241,4,168
328,44098,1,2545,4,203
329,44098,1,2545,4,166
330,44098,1,2545,4,150
331,36138,1,2241,4,127
332,44098,1,2545,4,152
333,115012,1,5585,4,380
334,36138,1,2241,4,130
335,36138,1,2241,4,131
336,44098,1,2545,4,157
337,115012,1,5585,4,432
338,115012,1,5585,4,386
339,36138,1,2241,4,132
340,36138,1,2241,4,129
341,44098,1,2545,4,152
342,115012,1,5585,4,394
343,36138,1,2241,4,133
344,115012,1,5585,4,391
345,44098,1,2545,4,152
346,36138,1,2241,4,198
347,36138,1,2241,4,196
348,36138,1,2241,4,174
349,36138,1,2241,4,181
350,36138,1,2241,4,170
351,115012,1,5585,4,498
352,36138,1,2241,4,176
353,44098,1,2545,4,197
354,36138,1,2241,4,168
355,36138,1,2241,4,168
356,36138,1,2241,4,172
357,36138,1,2241,4,169
358,36138,1,2241,4,167
359,36138,1,2241,4,169
360,36138,1,2241,4,180
361,44098,1,2545,4,202
362,36138,1,2241,4,186
363,36138,1,2241,4,175
364,36138,1,2241,4,172
365,115012,1,5585,4,503
366,36138,1,2241,4,170
367,36138,1,2241,4,169
368,36138,1,2241,4,169
369,44098,1,2545,4,199
370,36138,1,2241,4,171
371,44098,1,2545,4,196
372,44098,1,2545,4,198
373,44098,1,2545,4,198
374,44098,1,2545,4,197
375,36138,1,2241,4,168
376,36138,1,2241,4,167
377,36138,1,2241,4,182
378,115012,1,5585,4,547
379,36138,1,2241,4,193
380,36138,1,2241,4,168
381,36138,1,2241,4,176
382,44098,1,2545,4,205
383,44098,1,2545,4,209
384,36138,1,2241,4,177
385,36138,1,2241,4,175
386,44098,1,2545,4,205
387,36138,1,2241,4,167
388,117756,1,5905,4,509
389,36138,1,2241,4,167
390,44098,1,2545,4,202
391,44098,1,2545,4,202
392,36138,1,2241,4,167
393,36138,1,2241,4,167
394,44098,1,2545,4,205
395,36138,1,2241,4,170
396,36138,1,2241,4,170
397,44098,1,2545,4,153
398,44098,1,2545,4,152
399,44098,1,2545,4,154
400,36138,1,2241,4,134
401,36138,1,2241,4,128
402,36138,1,2241,4,129
403,115012,1,5585,4,397
404,44098,1,2545,4,157
405,36138,1,2241,4,128
406,36138,1,2241,4,127
407,44098,1,2545,4,152
408,115012,1,5585,4,385
409,319550,1,12145,4,1108
410,44098,1,2545,4,208
411,44098,1,2545,4,206
412,36138,1,2241,4,178
413,44098,1,2545,4,201
414,44098,1,2545,4,207
415,36138,1,2241,4,181
416,44098,1,2545,4,205
417,115012,1,5585,4,482
418,44098,1,2545,4,204
419,44098,1,2545,4,208
420,36138,1,2241,4,177
421,44098,1,2545,4,198
422,115012,1,5585,4,504
423,36138,1,2241,4,166
424,36138,1,2241,4,168
425,115012,1,5585,4,494
426,44098,1,2545,4,201
427,115012,1,5585,4,486
428,44098,1,2545,4,201
429,44098,1,2545,4,199
430,44098,1,2545,4,196
431,36138,1,2241,4,168
432,44098,1,2545,4,199
433,44098,1,2545,4,197
434,44098,1,2545,4,198
435,44098,1,2545,4,198
436,36138,1,2241,4,169
437,36138,1,2241,4,151
438,36138,1,2241,4,134
439,44098,1,2545,4,152
440,36138,1,2241,4,127
441,44098,1,2545,4,152
442,44098,1,2545,4,189
443,44098,1,2545,4,243
444,182021,1,9005,5,873
445,400831,1,16301,5,1709
446,247829,1,10445,5,1119
447,363095,1,16077,5,1624
448,474647,1,19245,5,2082
449,247829,1,10445,5,1071
450,247829,1,10445,5,1117
451,182021,1,9005,5,852
452,247829,1,10445,5,928
453,182021,1,9005,5,771
454,247829,1,10445,5,1043
455,144901,1,7645,5,602
456,144901,1,7645,5,703
457,144901,1,7645,5,693
458,182021,1,9005,5,903
459,247829,1,10445,5,1091
460,457783,1,19469,5,1997
461,182021,1,9005,5,868
462,457783,1,19469,5,1946
463,1166601,1,36269,5,4379
464,144901,1,7645,5,701
465,182021,1,9005,5,833
466,457783,1,19469,5,1938
467,144901,1,7645,5,699
468,474647,1,19245,5,1871
469,247829,1,10445,5,1087
470,182021,1,9005,5,838
471,144901,1,7645,5,695
472,182021,1,9005,5,914
473,247829,1,10445,5,923
474,182021,1,9005,5,663
475,247829,1,10445,5,855
476,182021,1,9005,5,667
477,182021,1,9005,5,697
478,247829,1,10445,5,1182
479,457783,1,19469,5,1957
480,182021,1,9005,5,861
481,474647,1,19245,5,1947
482,247829,1,10445,5,1128
483,247829,1,10445,5,1092
484,247829,1,10445,5,1086
485,144901,1,7645,5,700
486,999761,1,35773,5,3902
487,457783,1,19469,5,1611
488,144901,1,7645,5,670
489,182021,1,9005,5,689
490,474647,1,19245,5,1849
491,107768,0,5044,5,429
492,400831,1,16301,5,1723
493,474647,1,19245,5,2071
494,457783,1,19469,5,1759
495,474647,1,19245,5,2109
496,182021,1,9005,5,835
497,144901,1,7645,5,599
498,524919,1,19693,5,1868
499,1166601,1,36269,5,4617
500,247829,1,10445,5,1151
501,247829,1,10445,5,1101
502,474647,1,19245,5,2016
503,144901,1,7645,5,797
504,474647,1,19245,5,2067
505,182021,1,9005,5,837
506,182021,1,9005,5,838
507,457783,1,19469,5,1965
508,247829,1,10445,5,1135
509,182021,1,9005,5,845
510,144901,1,7645,5,699
511,457783,1,19469,5,1961
512,182021,1,9005,5,844
513,144901,1,7645,5,733
514,524919,1,19693,5,2338
515,182021,1,9005,5,834
516,182021,1,9005,5,836
517,524919,1,19693,5,2248
518,182021,1,9005,5,843
519,524919,1,19693,5,2248
520,274095,1,12829,5,1256
521,182021,1,9005,5,847
522,182021,1,9005,5,905
523,524919,1,19693,5,2166
524,144901,1,7645,5,696
525,182021,1,9005,5,874
526,1027113,1,34829,5,4041
527,474647,1,19245,5,1947
528,182021,1,9005,5,864
529,144901,1,7645,5,741
530,182021,1,9005,5,865
531,457783,1,19469,5,2078
532,247829,1,10445,5,1091
533,182021,1,9005,5,833
534,144901,1,7645,5,713
535,474647,1,19245,5,2057
536,144901,1,7645,5,698
537,182021,1,9005,5,843
538,182021,1,9005,5,899
539,182021,1,9005,5,896
540,182021,1,9005,5,862
541,182021,1,9005,5,857
542,182021,1,9005,5,846
543,144901,1,7645,5,727
544,247829,1,10445,5,1150
545,144901,1,7645,5,705
546,182021,1,9005,5,875
547,457783,1,19469,5,2053
548,247829,1,10445,5,1124
549,457783,1,19469,5,1969
550,182021,1,9005,5,832
551,144901,1,7645,5,703
552,247829,1,10445,5,1124
553,999761,1,35773,5,3956
554,182021,1,9005,5,840
555,144901,1,7645,5,721
556,182021,1,9005,5,861
557,247829,1,10445,5,1125
558,182021,1,9005,5,850
559,144901,1,7645,5,704
560,524919,1,19693,5,2143
561,474647,1,19245,5,2006
562,144901,1,7645,5,719
563,524919,1,19693,5,2130
564,182021,1,9005,5,845
565,474647,1,19245,5,2065
566,144901,1,7645,5,697
567,144901,1,7645,5,692
568,182021,1,9005,5,858
569,182021,1,9005,5,867
570,247829,1,10445,5,1081
571,474647,1,19245,5,1976
572,182021,1,9005,5,886
573,524919,1,19693,5,2227
574,182021,1,9005,5,844
575,247829,1,10445,5,1116
576,182021,1,9005,5,835
577,868129,1,29517,5,3391
578,524919,1,19693,5,2255
579,899241,1,31661,5,3444
580,182021,1,9005,5,853
581,182021,1,9005,5,860
582,247829,1,10445,5,1081
583,182021,1,9005,5,831
584,182021,1,9005,5,863
585,182021,1,9005,5,915
586,363095,1,16077,5,1491
587,144901,1,7645,5,720
588,182021,1,9005,5,859
589,182021,1,9005,5,842
590,144901,1,7645,5,701
591,247829,1,10445,5,1079
592,182021,1,9005,5,858
593,144901,1,7645,5,732
594,182021,1,9005,5,860
595,144901,1,7645,5,794
596,144901,1,7645,5,697
597,474647,1,19245,5,1963
598,457783,1,19469,5,1945
599,457783,1,19469,5,1959
600,247829,1,10445,5,1080
601,247829,1,10445,5,1131
602,182021,1,9005,5,845
603,524919,1,19693,5,2156
604,182021,1,9005,5,832
605,182021,1,9005,5,835
606,182021,1,9005,5,835
607,474647,1,19245,5,1983
608,363095,1,16077,5,1556
609,144901,1,7645,5,747
610,182021,1,9005,5,835
611,999761,1,35773,5,3841
612,182021,1,9005,5,841
613,182021,1,9005,5,847
614,144901,1,7645,5,725
615,144901,1,7645,5,713
616,400831,1,16301,5,1750
617,144901,1,7645,5,716
618,144901,1,7645,5,693
619,144901,1,7645,5,695
620,182021,1,9005,5,868
621,182021,1,9005,5,858
622,144901,1,7645,5,697
623,457783,1,19469,5,2058
624,144901,1,7645,5,696
625,457783,1,19469,5,1943
626,247829,1,10445,5,1116
627,182021,1,9005,5,839
628,939065,1,34141,5,3728
629,144901,1,7645,5,690
630,247829,1,10445,5,1073
631,247829,1,10445,5,1056
632,144901,1,7645,5,640
633,474647,1,19245,5,1865
634,363095,1,16077,5,1438
635,182021,1,9005,5,850
636,182021,1,9005,5,832
637,182021,1,9005,5,846
638,182021,1,9005,5,840
639,144901,1,7645,5,708
640,247829,1,10445,5,1136
641,182021,1,9005,5,855
642,363095,1,16077,5,1538
643,144901,1,7645,5,698
644,144901,1,7645,5,688
645,247829,1,10445,5,1077
646,182021,1,9005,5,857
647,182021,1,9005,5,827
648,247829,1,10445,5,1076
649,474647,1,19245,5,1981
650,247829,1,10445,5,1068
651,182021,1,9005,5,837
652,457783,1,19469,5,1866
653,524919,1,19693,5,1779
654,182021,1,9005,5,668
655,182021,1,9005,5,669
656,182021,1,9005,5,848
657,144901,1,7645,5,694
658,247829,1,10445,5,1077
659,556200,1,25257,6,2666
660,426176,1,20537,6,2077
661,765936,1,29865,6,2812
662,556200,1,25257,6,2659
663,538632,1,24489,6,2453
664,556200,1,25257,6,2486
665,556200,1,25257,6,2680
666,1283410,1,46409,6,5170
667,672880,1,28873,6,2531
668,1218184,1,37273,6,5106
669,1401074,1,52905,6,5834
670,765936,1,29865,6,3399
671,538632,1,24489,6,2704
672,538632,1,24489,6,2628
673,765936,1,29865,6,3601
674,1218184,1,37273,6,5178
675,556200,1,25257,6,2649
676,672880,1,28873,6,3159
677,538632,1,24489,6,2613
678,1407794,1,53289,6,6057
679,765936,1,29865,6,3594
680,538632,1,24489,6,2592
681,1055314,1,42761,6,4796
682,1218184,1,37273,6,5109
683,426176,1,20537,6,2197
684,556200,1,25257,6,2876
685,11161792,1,209945,6,39977
686,556200,1,25257,6,2717
687,765936,1,29865,6,3305
688,1401074,1,52905,6,6001
689,1401074,1,52905,6,6129
690,672880,1,28873,6,3201
691,672880,1,28873,6,3177
692,556200,1,25257,6,2979
693,3858814,1,108217,6,14437
694,1256338,1,50393,6,5288
695,1407794,1,53289,6,6304
696,850218,1,36361,6,4012
697,672880,1,28873,6,3211
698,1721458,1,56873,6,7181
699,538632,1,24489,6,2701
700,1407794,1,53289,6,6400
701,1218184,1,37273,6,5300
702,1218184,1,37273,6,5397
703,672880,1,28873,6,3155
704,672880,1,28873,6,3225
705,4159772,1,101593,6,16520
706,672880,1,28873,6,3340
707,1401074,1,52905,6,6104
708,672880,1,28873,6,3363
709,1256338,1,50393,6,5836
710,8711186,1,175513,6,30185
711,1147050,1,44905,6,4701
712,538632,1,24489,6,2660
713,538632,1,24489,6,2820
714,556200,1,25257,6,2700
715,672880,1,28873,6,3200
716,556200,1,25257,6,2733
717,6634974,1,148329,6,23317
718,1147050,1,44905,6,5043
719,672880,1,28873,6,3239
720,426176,1,20537,6,2256
721,1008578,1,39465,6,4515
722,7238358,1,148137,6,26043
723,3152212,1,89577,6,12288
724,765936,1,29865,6,3412
725,1256338,1,50393,6,5565
726,672880,1,28873,6,3150
727,556200,1,25257,6,2736
728,556200,1,25257,6,2767
729,556200,1,25257,6,2882
730,765936,1,29865,6,3697
731,1066658,1,44073,6,5008
732,765936,1,29865,6,3541
733,1066658,1,44073,6,4841
734,1401074,1,52905,6,6198
735,672880,1,28873,6,3239
736,1952212,1,67881,6,7955
737,1952212,1,67881,6,8123
738,765936,1,29865,6,3544
739,765936,1,29865,6,3406
740,1401074,1,52905,6,6194
741,1283410,1,46409,6,5723
742,426176,1,20537,6,2236
743,426176,1,20537,6,2318
744,426176,1,20537,6,2325
745,1147050,1,44905,6,5222
746,1147050,1,44905,6,4964
747,765936,1,29865,6,3603
748,538632,1,24489,6,2723
749,1147050,1,44905,6,5217
750,1721458,1,56873,6,7405
751,1283410,1,46409,6,5647
752,556200,1,25257,6,2750
753,1401074,1,52905,6,5989
754,1401074,1,52905,6,6201
755,765936,1,29865,6,3504
756,1283410,1,46409,6,5552
757,426176,1,20537,6,2186
758,556200,1,25257,6,2721
759,426176,1,20537,6,2203
760,765936,1,29865,6,3582
761,765936,1,29865,6,3669
762,1066658,1,44073,6,4939
763,765936,1,29865,6,3512
764,765936,1,29865,6,3573
765,556200,1,25257,6,2761
766,3894886,1,111577,6,14547
767,850218,1,36361,6,4036
768,1407794,1,53289,6,6154
769,556200,1,25257,6,2708
770,556200,1,25257,6,2817
771,672880,1,28873,6,3229
772,765936,1,29865,6,3503
773,1218184,1,37273,6,5147
774,765936,1,29865,6,3542
775,556200,1,25257,6,2736
776,426176,1,20537,6,2322
777,1407794,1,53289,6,6266
778,1401074,1,52905,6,6187
779,556200,1,25257,6,2831
780,556200,1,25257,6,2667
781,556200,1,25257,6,2818
782,556200,1,25257,6,2700
783,850218,1,36361,6,3963
784,1401074,1,52905,6,5930
785,556200,1,25257,6,2777
786,1407794,1,53289,6,6074
787,538632,1,24489,6,2663
788,1147050,1,44905,6,5120
789,921949,0,30272,6,3609
790,538632,1,24489,6,2647
791,1407794,1,53289,6,6113
792,538632,1,24489,6,2761
793,538632,1,24489,6,2732
794,556200,1,25257,6,2721
795,426176,1,20537,6,2123
796,765936,1,29865,6,3459
797,672880,1,28873,6,3232
798,538632,1,24489,6,2833
799,765936,1,29865,6,3502
800,1066658,1,44073,6,4812
801,1721458,1,56873,6,7312
802,556200,1,25257,6,2749
803,1721458,1,56873,6,7289
804,2797164,1,85145,6,11387
805,538632,1,24489,6,2728
806,556200,1,25257,6,2683
807,556200,1,25257,6,2875
808,1583130,1,55033,6,6769
809,765936,1,29865,6,3489
810,765936,1,29865,6,3506
811,765936,1,29865,6,3648
812,1401074,1,52905,6,6391
813,2324748,1,78521,6,9546
814,2457588,1,81017,6,9839
815,850218,1,36361,6,3870
816,426176,1,20537,6,2235
817,538632,1,24489,6,2748
818,1260906,1,46921,6,5814
819,538632,1,24489,6,2775
820,538632,1,24489,6,2816
821,1721458,1,56873,6,7194
822,4437806,1,117689,6,16557
823,765936,1,29865,6,3611
824,538632,1,24489,6,2653
825,556200,1,25257,6,2781
826,1055314,1,42761,6,4662
827,765936,1,29865,6,3522
828,765936,1,29865,6,3488
829,672880,1,28873,6,3138
830,765936,1,29865,6,3518
831,538632,1,24489,6,2718
832,556200,1,25257,6,2825
833,556200,1,25257,6,2677
834,1721458,1,56873,6,7360
835,672880,1,28873,6,3134
836,765936,1,29865,6,3472
837,672880,1,28873,6,3171
838,426176,1,20537,6,2218
839,556200,1,25257,6,2855
840,556200,1,25257,6,2742
841,2797164,1,85145,6,11293
842,1260906,1,46921,6,5623
843,765936,1,29865,6,3479
844,538632,1,24489,6,2652
845,521715,0,18096,6,2032
846,2303387,1,82325,7,10654
847,3164157,1,108853,7,14294
848,1274635,1,55141,7,6528
849,1591931,1,65381,7,7960
850,1647611,1,67493,7,8225
851,4194685,1,132917,7,18156
852,1860139,1,69829,7,8768
853,3187445,1,116661,7,14672
854,1591931,1,65381,7,7849
855,5573627,1,121877,7,23652
856,1647611,1,67493,7,7928
857,1274635,1,55141,7,6334
858,3641037,1,125413,7,16564
859,6062927,1,177013,7,25458
860,4533485,1,127797,7,19804
861,3081467,1,90773,7,13895
862,1328395,1,57445,7,6573
863,4533485,1,127797,7,19311
864,1647611,1,67493,7,8063
865,1014747,1,46293,7,5688
866,3531341,1,116421,7,15626
867,3531341,1,116421,7,15515
868,2303387,1,82325,7,11279
869,7306751,1,193765,7,29457
870,1689853,1,71045,7,8465
871,1328395,1,57445,7,7075
872,1591931,1,65381,7,7908
873,3187445,1,116661,7,15452
874,2775349,1,107957,7,13004
875,1860139,1,69829,7,9528
876,16172161,1,304405,7,61517
877,5448663,1,166805,7,23631
878,8637213,1,182389,7,37253
879,4752519,1,157685,7,20784
880,3081467,1,90773,7,15004
881,6247039,1,179157,7,26942
882,1897771,1,70597,7,8550
883,2303387,1,82325,7,11352
884,12399609,1,266037,7,46945
885,1395883,1,60517,7,7283
886,1647611,1,67493,7,8351
887,5178991,1,164661,7,22593
888,1328395,1,57445,7,7175
889,1328395,1,57445,7,6192
890,47932525,1,578613,7,161168
891,1860139,1,69829,7,9153
892,2303387,1,82325,7,10983
893,1991829,1,82213,7,10096
894,7531087,1,200373,7,31887
895,7132239,1,193397,7,29316
896,3888399,1,133685,7,16339
897,1897771,1,70597,7,9445
898,1328395,1,57445,7,6988
899,14872849,1,299893,7,54779
900,4204861,1,133685,7,17445
901,1647611,1,67493,7,8046
902,3641037,1,125413,7,16125
903,2753277,1,103429,7,12021
904,2303387,1,82325,7,11207
905,3829807,1,133365,7,16735
906,2100165,1,80869,7,10602
907,1860139,1,69829,7,9154
908,1274635,1,55141,7,6508
909,1591931,1,65381,7,7871
910,6371039,1,169765,7,25376
911,1860139,1,69829,7,8785
912,2753277,1,103429,7,10745
913,1328395,1,57445,7,6901
914,3641037,1,125413,7,16353
915,1860139,1,69829,7,8820
916,2303387,1,82325,7,10778
917,4194685,1,132917,7,18367
918,2269885,1,88037,7,10320
919,4763021,1,142725,7,19293
920,1897771,1,70597,7,9622
921,1395883,1,60517,7,7180
922,3124621,1,107381,7,13872
923,1014747,1,46293,7,5490
924,1328395,1,57445,7,7105
925,4473407,1,145477,7,18205
926,12195471,1,247445,7,47594
927,3641037,1,125413,7,14329
928,1647611,1,67493,7,7441
929,1328395,1,57445,7,6394
930,2770829,1,102597,7,12690
931,1328395,1,57445,7,7023
932,3495053,1,114117,7,15299
933,1328395,1,57445,7,6686
934,1647611,1,67493,7,8175
935,1274635,1,55141,7,6439
936,1395883,1,60517,7,6805
937,2133869,1,85413,7,9611
938,4194685,1,132917,7,16719
939,4194685,1,132917,7,16359
940,3641037,1,125413,7,14225
941,3124621,1,107381,7,14566
942,7132239,1,193397,7,29172
943,1328395,1,57445,7,6896
944,1274635,1,55141,7,5975
945,2753277,1,103429,7,11866
946,4763021,1,142725,7,20241
947,5220191,1,153157,7,20936
948,1591931,1,65381,7,7695
949,4408887,1,150389,7,19006
950,12935793,1,275733,7,49570
951,1860139,1,69829,7,9191
952,5178991,1,164661,7,22225
953,12205161,1,264021,7,46757
954,2776317,1,104581,7,12335
955,4763021,1,142725,7,20040
956,3641037,1,125413,7,15654
957,3495053,1,114117,7,15770
958,2303387,1,82325,7,10982
959,2303387,1,82325,7,11231
960,3055181,1,107445,7,13696
961,1328395,1,57445,7,6994
962,1328395,1,57445,7,6959
963,1395883,1,60517,7,7088
964,1897771,1,70597,7,8774
965,8575887,1,209717,7,33936
966,3055181,1,107445,7,13536
967,1328395,1,57445,7,6890
968,4194685,1,132917,7,18494
969,1860139,1,69829,7,9227
970,2303387,1,82325,7,11240
971,3081467,1,90773,7,13493
972,1647611,1,67493,7,8323
973,1647611,1,67493,7,8573
974,1647611,1,67493,7,8369
975,3888399,1,133685,7,16385
976,3081467,1,90773,7,13796
977,2303387,1,82325,7,10684
978,1897771,1,70597,7,8789
979,6062927,1,177013,7,25805
980,3495053,1,114117,7,15397
981,1897771,1,70597,7,9014
982,1328395,1,57445,7,7127
983,1647611,1,67493,7,8332
984,3081467,1,90773,7,13944
985,3164157,1,108853,7,14372
986,3792469,1,123413,7,16829
987,3641037,1,125413,7,15674
988,2303387,1,82325,7,11453
989,2736206,1,114785,8,14896
990,5546592,1,193777,8,27417
991,4822878,1,167697,8,23359
992,7929574,1,223057,8,35159
993,6255240,1,208033,8,28004
994,5065417,0,127512,8,19849
995,3328134,1,132993,8,16608
996,11412024,1,310513,8,48024
997,2736206,1,114785,8,14416
998,4699902,1,165393,8,23103
999,6317848,1,219521,8,28739
1000,4822878,1,167697,8,21797
1001,7929574,1,223057,8,35868
1002,2700014,1,113249,8,14622
1003,3937862,1,143393,8,19155
1004,4673256,1,167617,8,22229
1005,4673256,1,167617,8,22626
1006,11398200,1,308977,8,48667
1007,4101008,1,158625,8,20318
1008,3530598,1,141249,8,17648
1009,6184584,1,203425,8,28499
1010,13149848,1,330513,8,53570
1011,3937862,1,143393,8,20173
1012,13167146,1,347857,8,57847
1013,13435338,1,334913,8,51977
1014,8686714,1,279729,8,36739
1015,4699902,1,165393,8,23742
1016,11127456,1,285457,8,48446
1017,2700014,1,113249,8,14670
1018,5530872,1,203569,8,26674
1019,6790326,1,212241,8,30287
1020,4699902,1,165393,8,22356
1021,18574212,1,384465,8,72984
1022,10826058,1,300161,8,44172
1023,4101008,1,158625,8,19883
1024,2700014,1,113249,8,14588
1025,11340226,1,319185,8,47538
1026,7507648,1,240593,8,33062
1027,9733472,1,286545,8,42599
1028,12347082,1,344081,8,51760
1029,8596872,1,261217,8,34722
1030,22368716,1,445361,8,81785
1031,6604110,1,189393,8,31890
1032,7442272,1,235601,8,34721
1033,7929574,1,223057,8,37010
1034,4947048,1,183457,8,23573
1035,11282516,1,321569,8,45229
1036,22618156,1,494641,8,89035
1037,9748448,1,286545,8,41029
1038,18898266,1,368481,8,68576
1039,5119242,1,187169,8,22723
1040,4822878,1,167697,8,23323
1041,18487204,1,426865,8,73001
1042,3328134,1,132993,8,17472
1043,22743804,1,479025,8,89503
1044,3366246,1,134337,8,17132
1045,4002374,1,144929,8,19453
1046,6158560,1,207521,8,28901
1047,16150116,1,413073,8,66693
1048,9975938,1,304945,8,42488
1049,6184584,1,203425,8,29552
1050,3328134,1,132993,8,17034
1051,6790326,1,212241,8,31963
1052,11289216,1,296897,8,44493
1053,5431520,1,186417,8,26364
1054,13422716,1,357137,8,55767
1055,6184584,1,203425,8,28212
1056,7929574,1,223057,8,37100
1057,4602216,1,166081,8,22763
1058,3818822,1,140321,8,17368
1059,6604110,1,189393,8,31934
1060,6983962,1,225825,8,32341
1061,7884258,1,267713,8,35482
1062,3427686,1,136641,8,17416
1063,2888942,1,121697,8,15092
1064,16842732,1,403665,8,66696
1065,3818822,1,140321,8,18877
1066,9832136,1,265041,8,45736
1067,13320522,1,347825,8,55640
1068,13142626,1,334065,8,55471
1069,12297554,1,338161,8,54389
1070,3427686,1,136641,8,18075
1071,2700014,1,113249,8,14816
1072,2700014,1,113249,8,14651
1073,13149848,1,330513,8,56800
1074,3937862,1,143393,8,20250
1075,4064776,1,154337,8,21444
1076,8824642,1,281265,8,39279
1077,4770856,1,179873,8,23441
1078,3793032,1,151105,8,19592
1079,6604110,1,189393,8,33893
1080,2736206,1,114785,8,14530
1081,2688001,0,88680,8,11111
1082,4822878,1,167697,8,24232
1083,2086102,1,91825,8,11916
1084,8249568,1,232561,8,36805
1085,7884418,1,240369,8,34329
1086,3937862,1,143393,8,19194
1087,13435338,1,334913,8,55711
1088,15817250,1,379249,8,66998
1089,7945930,1,254289,8,36104
1090,3427686,1,136641,8,17762
1091,7283024,1,231153,8,32442
1092,3937862,1,143393,8,19942
1093,6604110,1,189393,8,33166
1094,20000580,1,433329,8,78955
1095,14349364,1,348721,8,57989
1096,4868958,1,170769,8,24336
1097,4868958,1,170769,8,24458
1098,4770856,1,179873,8,24449
1099,6266768,1,209025,8,30224
1100,3937862,1,143393,8,19990
1101,6790326,1,212241,8,33583
1102,6355864,1,221057,8,28988
1103,8100376,1,251441,8,36510
1104,17615800,1,384593,8,76079
1105,4635232,1,176561,8,22609
1106,10234836,1,307473,8,43488
1107,7929574,1,223057,8,37177
1108,4822878,1,167697,8,24702
1109,5537954,1,207505,8,26776
1110,7309520,1,232689,8,32982
1111,15926714,1,376273,8,68018
1112,10998938,1,319777,8,45825
1113,6480942,1,189393,8,31362
1114,3818822,1,140321,8,19448
1115,6480942,1,189393,8,31771
1116,4822878,1,167697,8,23186
1117,8398728,1,252769,8,37450
1118,7283024,1,231153,8,33322
1119,11412024,1,310513,8,50299
1120,8977676,1,293825,8,38767
1121,3427686,1,136641,8,18041
1122,4699902,1,165393,8,23863
1123,50704311,1,835101,9,197033
1124,14034021,1,446189,9,63192
1125,11983587,1,391405,9,56688
1126,14511713,1,410285,9,69936
1127,8842465,1,304333,9,46959
1128,32400067,1,656669,9,140826
1129,95288995,1,1256829,9,355476
1130,12167171,1,396045,9,60854
1131,15035873,1,423917,9,73917
1132,27262949,1,678301,9,116260
1133,32537413,1,742365,9,138029
1134,10260643,1,341693,9,56130
1135,9358465,1,325837,9,53972
1136,7578833,1,284429,9,45861
1137,22000317,1,542093,9,102791
1138,8963713,1,307405,9,48524
1139,10043843,1,353373,9,51229
1140,13737749,1,423085,9,63284
1141,25234997,1,612301,9,106553
1142,26927703,1,640413,9,116341
1143,54645589,1,959229,9,232684
1144,75292579,1,1136637,9,290243
1145,25719835,1,596717,9,123466
1146,33861709,1,741597,9,148514
1147,13611091,1,390125,9,70056
1148,11983587,1,391405,9,58889
1149,24297909,1,609485,9,106130
1150,26656183,1,631405,9,111298
1151,7398929,1,278285,9,41016
1152,15629139,1,468301,9,74217
1153,10042619,1,338061,9,52074
1154,11948067,1,386797,9,59001
1155,13325147,1,419757,9,66786
1156,12212195,1,394509,9,61673
1157,47785637,1,849325,9,209811
1158,16033283,1,451533,9,78386
1159,60025665,1,995053,9,244991
1160,21960655,1,589549,9,101374
1161,11560899,1,370669,9,59061
1162,10093473,1,323245,9,47988
1163,8317801,1,293981,9,39005
1164,7879313,1,296717,9,43214
1165,8757121,1,302797,9,48470
1166,12167171,1,396045,9,61946
1167,37688885,1,746509,9,170422
1168,5004177,1,205725,9,29846
1169,10288067,1,362589,9,53193
1170,7539637,1,289149,9,43899
1171,28658501,1,655021,9,122668
1172,6514225,1,256285,9,37722
1173,31882899,1,674077,9,150624
1174,35225029,1,757965,9,157143
1175,15345651,1,456781,9,76851
1176,7398929,1,278285,9,42318
1177,8842465,1,304333,9,48823
1178,6256945,1,245533,9,40447
1179,6174961,1,242653,9,38092
1180,13877949,1,428141,9,64824
1181,17742647,1,467309,9,84914
1182,9009793,1,310477,9,50677
1183,6765027,1,262045,9,37044
1184,12312145,1,385069,9,71512
1185,11921187,1,387565,9,63271
1186,6174961,1,242653,9,35703
1187,36355989,1,744845,9,172022
1188,15629139,1,468301,9,77325
1189,10789505,1,360461,9,58737
1190,14890721,1,410861,9,81168
1191,25563829,1,605325,9,121999
1192,59703419,1,932701,9,247702
1193,13403229,1,413597,9,65596
1194,16033283,1,451533,9,82278
1195,4913169,1,201885,9,29154
1196,21998197,1,596973,9,106260
1197,10288067,1,362589,9,53444
1198,11020499,1,371085,9,60120
1199,18922421,1,501997,9,93814
1200,11303035,1,388781,9,60741
1201,15322611,1,455245,9,76440
1202,33397712,0,583204,9,135595
1203,28051622,1,748617,10,146378
1204,10965116,1,428921,10,64977
1205,19647144,1,628073,10,105999
1206,12766116,1,475593,10,73359
1207,14877668,1,515273,10,88093
1208,46996256,1,1067401,10,211156
1209,27956878,1,785705,10,141030
1210,41088656,1,984841,10,201138
1211,21320616,1,657161,10,110034
1212,18637856,1,629113,10,95317
1213,192343618,1,2230441,10,885236
1214,21278924,1,657545,10,125910
1215,77039028,1,1291129,10,338286
1216,20081822,1,624345,10,108704
1217,12242916,1,457545,10,77973
1218,18561030,1,607369,10,101158
1219,34707702,1,907225,10,189541
1220,20966534,1,612777,10,114769
1221,10834748,1,422777,10,65898
1222,29221856,1,789865,10,155264
1223,9941564,1,386681,10,62458
1224,23608696,1,720585,10,123427
1225,22214054,1,710793,10,121586
1226,20018032,1,662649,10,103693
1227,74852976,1,1148313,10,301480
1228,10619420,1,414905,10,63128
1229,30303904,1,780681,10,149777
1230,11106524,1,433337,10,67841
1231,37416258,1,1000377,10,180147
1232,11106524,1,433337,10,68622
1233,45248024,1,965545,10,212221
1234,15810764,1,505785,10,80008
1235,18012684,1,592425,10,102624
1236,21167082,1,668025,10,106643
1237,26228490,1,780249,10,137143
1238,22376998,1,720137,10,121889
1239,17951638,1,588329,10,98748
1240,12766116,1,475593,10,77036
1241,24896220,1,693129,10,140270
1242,20761680,1,657065,10,107739
1243,32978154,1,842553,10,157187
1244,42307962,1,980025,10,192889
1245,32788326,1,874057,10,162471
1246,49520752,1,1134969,10,249236
1247,20265894,1,684985,10,116500
1248,17908518,1,586249,10,100491
1249,34455130,1,804121,10,157067
1250,55366056,1,1155209,10,250875
1251,35307122,1,838889,10,162127
1252,10965116,1,428921,10,63298
1253,35396388,1,901305,10,200032
1254,27221904,1,778889,10,134619
1255,10928348,1,425657,10,67445
1256,10444124,1,405689,10,66751
1257,25995726,1,777481,10,139948
1258,32631882,1,816153,10,152132
1259,21076328,1,665545,10,109240
1260,40152292,1,825833,10,177595
1261,27687206,1,757833,10,145302
1262,27296888,1,775177,10,134492
1263,10398332,1,404345,10,64577
1264,54023344,1,1166025,10,249921
1265,21644878,1,686633,10,122059
1266,29530776,1,836441,10,143586
1267,26549538,1,713817,10,133250
1268,14559008,1,518617,10,78046
1269,10542812,1,409529,10,66963
1270,37511456,1,937225,10,179831
1271,20192468,1,591113,10,116714